(module Diff-tree-top  (lib "eopl.ss" "eopl")
  (require "drscheme-init.scm")
  (require "Diff-tree.scm")

  (define Diff-tree-tests
    (list
     (list 'constant (diff-tree-plus (zero) (zero)) 0)
     (list 'constant (diff-tree-plus (one-tree '(one)) (zero))1)
     ;; (1-0) + ( 0 - 1) = 0 see below for this representation
     (list 'make-two (diff-tree-plus  
                      (diff (one-tree '(one)) (zero))
                      (diff (zero) (one-tree '(one)))
                      )
                      0
                      )
      
     ))

 
  (define run-Diff-tree-tests
    (lambda ()
      (run-tests! value-of equal? Diff-tree-tests)))
  (run-Diff-tree-tests)
  )